results for Diversity-Oriented Synthesis